Debugging experiment machinery through time‐course event sequence analysis

Debugging Event-Driven Programming

The importance of the event-driven programming (EDP) paradigm is on the rise. While EDP has been been common in client-side applications since around 2000 (e.g. GUI development, JavaScript-driven web pages), it has only recently entered the mainstream in the settings of mobile computing (Android, 2008 [15]) and server-side programming (Node.js, 2009 [18]). The EDP paradigm is also a natural way...

Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging

Same as Dung’s abstract argumentation framework (AF), the notion of generalized abstract argumentation framework (GenAF) aims at reasoning about inconsistency disregarding any logic for arguments; thus both the knowledge base (KB) and language to express beliefs remain unspecified. Nonetheless, reifying the abstract configuration of the AF argumentation machineries to specific logics may bring ...

A Dataflow Approach to Event-based Debugging

This paper describes a novel approach to event-based debugging. The approach is based on a (coarsegrained) dataflow view of events: a high-level event is recognized when an appropriate combination of lower-level events on which it depends has occurred. Event recognition is controlled using familiar programming language constructs. This approach is more flexible and powerful than current ones. I...

Debugging OpenMP Programs Using Event Manipulation

Computer Security Analysis through Decompilation and High-Level Debugging

The extensive use of computers and networks worldwide has raised the awareness of the need for tools and techniques to aid in computer security analysis of binary code, such as the understanding of viruses, trojans, worms, backdoors and general security flaws, in order to provide immediate solutions with or without the aid of software vendors. This paper is a proposal for a high-level debugging...